منابع مشابه
Introduction to Metalogic
Definition. A propositional signature Σ is a collection of items, which we call propositional constants. Sometimes these propositional constants are also called elementary sentences, or even atomic sentences. However, we will be using the word “atomic” for a different concept. These propositional constants are assumed to have no independent meaning. Nonetheless, we assume a primitive notion of ...
متن کاملModal logic as metalogic
The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's. First a family of propositional logical systems is considered, which is obtained by gradually addin...
متن کاملSet-syllogistics meet combinatorics
Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu 1 Dipartimento di Matematica e Geoscienze, Università di Trieste, Via Valerio 12/1, I-34127 – Trieste, Italy. email: [email protected] 2 Dipartimento di Matematica e Informatica, Università di Udine, Via delle Scienze 206, I-33100 – Udine, Italy. email: [email protected] 3 Helsinki Institute for Information Technology HIIT, Depa...
متن کاملSyllogistics = Monotonicity + Symmetry + Existential Import
Syllogistics reduces to only two rules of inference: monotonicity and symmetry, plus a third if one wants to take existential import into account. We give an implementation that uses only the monotonicity and symmetry rules, with an addendum for the treatment of existential import. Soundness follows from the monotonicity properties and symmetry properties of the Aristotelean quantifiers, while ...
متن کاملspecialized methods to teach spelling: comparing three methods
چکیده: بررسی ادبیات مربوطه در کشور در زمینه یادگیری زبان انگلیسی نشان میدهد که علیرغم اهمیت املا در فرآیند یادگیری به طور عام و یادگیری زبان انگلیسی به طور خاص، این مولفه از جایگاهی متناسب با اهمیت آن برخوردار نیست و عمدتاً نادیده گرفته شده است. تحقیقات گستردهای در خارج از کشور در مورد ماهیت این مولفه صورت گرفته است، در حالی که به جرأت میتوان گفت در داخل کشور گامی در مورد درک ماهیت آن و فرآی...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Metaphilosophy
سال: 2017
ISSN: 0026-1068
DOI: 10.1111/meta.12247